            <SECTION id="$caseName">
                <div style="border-style: dashed double dotted solid; border-width:thick">
                    border-style: dashed double dotted solid
                </div>
                <div style="border-style: dotted solid dashed double; border-width:thick">
                    border-style: dotted solid dashed double
                </div>
                <div style="border-style: dotted solid double dashed; border-width:thick">
                    border-style: dotted solid double dashed
                </div>
                <div style="border-style: dotted dashed double solid; border-width:thick">
                    border-style: dotted dashed double solid
                </div>
                <div style="border-style: dotted dashed solid double; border-width:thick">
                    border-style: dotted dashed solid double
                </div>
                <div style="border-style: dotted double solid dashed; border-width:thick">
                    border-style: dotted double solid dashed
                </div>
                <div style="border-style: dotted double dashed solid; border-width:thick">
                    border-style: dotted double dashed solid
                </div>
                <div style="border-style: double solid dashed dotted; border-width:thick">
                    border-style: double solid dashed dotted
                </div>
                <div style="border-style: double solid dotted dashed; border-width:thick">
                    border-style: double solid dotted dashed
                </div>
                <div style="border-style: double dashed dotted solid; border-width:thick">
                    border-style: double dashed dotted solid
                </div>
                <div style="border-style: double dashed solid dotted; border-width:thick">
                    border-style: double dashed solid dotted
                </div>
                <div style="border-style: double dotted dashed solid; border-width:thick">
                    border-style: double dotted dashed solid
                </div>
                <div style="border-style: double dotted solid dashed; border-width:thick">
                    border-style: double dotted solid dashed
                </div>
            </SECTION>

